Operating system verification—An overview
نویسندگان
چکیده
منابع مشابه
Operating System Verification — An Overview
This paper gives a high-level introduction to the topic of formal, interactive, machine-checked software verification in general, and the verification of operating systems code in particular. We survey the state of the art, the advantages and limitations of machinechecked code proofs, and describe two specific ongoing larger-scale verification projects in more detail.
متن کاملAn Overview of the NetWare Operating System
The NetWare operating system is designed specifically to provide service to clients over a computer network. This design has resulted in a system that differs in several respects from more general-purpose operating systems. In addition to highlighting the design decisions that have led to these differences, this paper provides an overview of the NetWare operating system, with a detailed descrip...
متن کاملAn overview of the Pick Operating System
Information management is the heart of the Pick Operating System. This easily used, multi-user operating system with virtual memory has an English-like retrieval language in which a data base manager, an extremely efficient programming language, and system utilities are all integral. Because of this structure and capabilities, Pick is actually more than a traditional operating system, it is an ...
متن کاملAn Overview of the STING Operating System
Sting is an operating system designed to serve as a highly efficient substrate for modern programming languages. Sting includes support for: various models of parallelism and synchronization; lazy, normal, and eager evaluation; automatic storage management; and topology mapping. Sting is different from other operating systems in several respects. The basic concurrency objects in Sting, virtual ...
متن کاملAn Overview of The Synthesis Operating System
An operating system (OS) maps a model of computation, defined by its kernel interface. onto the underlying hardware. A. simple and intuitive model of computation makes it easy for programmers to write applications. An efficient implementation of the mapping makes the applications run fast. Typical as interfaces for von Neumann hardware include processes (CPU). address spaces (memory), and I/O d...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Sadhana
سال: 2009
ISSN: 0256-2499,0973-7677
DOI: 10.1007/s12046-009-0002-4